Evidence for two spatially separated UV continuum emitting regions in the Cloverleaf broad absorption line quasar

Testing the standard Shakura-Sunyaev model of accretion is a challenging task because the central region of quasars where accretion takes place is unresolved with telescopes. The analysis of microlensing in gravitationally lensed quasars is one of the few techniques that can test this model, yielding to the measurement of the size and of temperature profile of the accretion disc. We present spectroscopic observations of the gravitationally lensed broad absorption line quasar H1413+117, which reveal partial microlensing of the continuum emission that appears to originate from two separated regions: a microlensed region, corresponding to the compact accretion disc; and a non-microlensed region, more extended and contributing to at least 30\% of the total UV-continuum flux. Because this extended continuum is occulted by the broad absorption line clouds, it is not associated with the host galaxy, but rather with light scattered in the neighbourhood of the central engine. We measure the amplitude of microlensing of the compact continuum over the rest-frame wavelength range 1000-7000 \AA. Following a Bayesian scheme, we confront our measurements to microlensing simulations of an accretion disc with a temperature varying as $T \propto R^{-1/\nu}$. We find a most likely source half-light radius of $R_{1/2} = 0.61 \times 10^{16}\,$cm (i.e., 0.002\,pc) at 0.18\,$\mu$m, and a most-likely index of $\nu=0.4$. The standard disc ($\nu=4/3$) model is not ruled out by our data, and is found within the 95\% confidence interval associated with our measurements. We demonstrate that, for H1413+117, the existence of an extended continuum in addition to the disc emission only has a small impact on the inferred disc parameters, and is unlikely to solve the tension between the microlensing source size and standard disc sizes, as previously reported in the literature.Comment: Accepted for publication in Astronomy and Astrophysics. 12 pages. Minor changes w.r.t. v1 (language editing, Fig. 5-6

Microlensing of the broad-line region in the quadruply imaged quasar HE0435-1223

Using infrared spectra of the z = 1.693 quadruply lensed quasar HE0435-1223 acquired in 2009 with the spectrograph SINFONI at the ESO Very Large Telescope, we have detected a clear microlensing effect in images A and D. While microlensing affects the blue and red wings of the H{\alpha} line profile in image D very differently, it de-magnifies the line core in image A. The combination of these different effects sets constraints on the line-emitting region; these constraints suggest that a rotating ring is at the origin of the H{\alpha} line. Visible spectra obtained in 2004 and 2012 indicate that the MgII line profile is microlensed in the same way as the H{\alpha} line. Our results therefore favour flattened geometries for the low-ionization line-emitting region, for example, a Keplerian disk. Biconical models cannot be ruled out but require more fine-tuning. Flux ratios between the different images are also derived and confirm flux anomalies with respect to estimates from lens models with smooth mass distributions.Comment: 6 pages, 4 figures, 3 tables, accepted by A&A on 10 April 201

Generating reversible circuits from higher-order functional programs

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function is a difficult problem. In 1973, Bennett proposed to generate reversible circuits from traces of execution of Turing machines. In this paper, we propose a novel presentation of this approach, adapted to higher-order programs. Starting with a PCF-like language, we use a monadic representation of the trace of execution to turn a regular boolean program into a circuit-generating code. We show that a circuit traced out of a program computes the same boolean function as the original program. This technique has been successfully applied to generate large oracles with the quantum programming language Quipper.Comment: 21 pages. A shorter preprint has been accepted for publication in the Proceedings of Reversible Computation 2016. The final publication is available at http://link.springer.co

Electroweak bubbles and sphalerons

We consider non-perturbative solutions of the Weinberg-Salam model at finite temperature. We employ an effective temperature-dependent potential yielding a first order phase transition. In the region of the phase transition, there exist two kinds of static, spherically symmetric solutions: sphalerons and bubbles. We analyze these solutions as functions of temperature. We consider the most general spherically symmetric fluctuations about the two solutions and construct the discrete modes in the region of the phase transition. Sphalerons and bubbles both possess a single unstable mode. We present simple approximation formulae for these levels.Comment: 14 pages, plain tex, 9 figures appended as postscript files at the end of the paper. THU-93/0

Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non-logical symbols. On the one hand, our development focuses on Trakhtenbrot's theorem, stating that FSAT is undecidable as soon as the signature contains an at least binary relation symbol. Our proof proceeds by a many-one reduction chain starting from the Post correspondence problem. On the other hand, we establish the decidability of FSAT for monadic first-order logic, i.e. where the signature only contains at most unary function and relation symbols, as well as the enumerability of FSAT for arbitrary enumerable signatures. All our results are mechanised in the framework of a growing Coq library of synthetic undecidability proofs

Sphalerons and the Electroweak Phase Transition in Models with Higher Scalar Representations

In this work we investigate the sphaleron solution in a $SU(2)\times U(1)_X$ gauge theory, which also encompasses the Standard Model, with higher scalar representation(s) ($J^{(i)},X^{(i)}$). We show that the field profiles describing the sphaleron in higher scalar multiplet, have similar trends like the doublet case with respect to the radial distance. We compute the sphaleron energy and find that it scales linearly with the vacuum expectation value of the scalar field and its slope depends on the representation. We also investigate the effect of $U(1)$ gauge field and find that it is small for the physical value of the mixing angle, $\theta_{W}$ and resembles the case for the doublet. For higher representations, we show that the criterion for strong first order phase transition, $v_{c}/T_{c}>\eta$, is relaxed with respect to the doublet case, i.e. $\eta<1$.Comment: 20 pages, 5 figures & 1 table, published versio

Sphaleron Effects Near the Critical Temperature

We discuss one-loop radiative corrections to the sphaleron-induced baryon number-violating transition rate near the electroweak phase transition in the standard model. We emphasize that in the case of a first-order transition a rearrangement of the loop expansion is required close to the transition temperature. The corresponding expansion parameter, the effective 3-dimensional gauge coupling approaches a finite $\lambda$ dependent value at the critical temperature. The $\lambda$ (Higgs mass) dependence of the 1-loop radiative corrections is discussed in the framework of the heat kernel method. Radiative corrections are small compared to the leading sphaleron contribution as long as the Higgs mass is small compared to the W mass. To 1-loop accuracy, there is no Higgs mass range compatible with experimental limits where washing-out of a B+L asymmetry could be avoided for the minimal standard model with one Higgs doublet.Comment: 17 pages, RevTeX, (4 figures in a separate uuencoded file), HD-THEP-93-23re

Baseline variability in onshore near surface gases and implications for monitoring at CO2 storage sites

The measurement of gas concentrations and fluxes in the soil and atmosphere is a powerful tool for monitoring geological carbon capture and storage (CCS) sites because the analyses are made directly in the biosphere in which we live. These methods can be used to both find and accurately quantifying leaks, and are visible and tangible data for public and ecosystem safety. To be most reliable and accurate, however, the measurements must be interpreted in the context of natural variations in gas concentration and flux. Such baseline data vary both spatially and temporally due to natural processes, and a clear understanding of their values and distributions is critical for interpreting near-surface gas monitoring techniques. The best example is CO2 itself, as the production of this gas via soil respiration can create a wide range of concentrations and fluxes that must be separated from, and not confused with, CO2 that may leak towards the surface from a storage reservoir. The present article summarizes baseline studies performed by the authors at various sites having different climates and geological settings from both Europe and North America, with focus given to the range of values that can result from near surface processes and how different techniques or data processing approaches can be used to help distinguish a leakage signal from an anomalous, shallow biogenic signal

Colour reconnection in e+e- -> W+W- at sqrt(s) = 189 - 209 GeV

The effects of the final state interaction phenomenon known as colour reconnection are investigated at centre-of-mass energies in the range sqrt(s) ~ 189-209 GeV using the OPAL detector at LEP. Colour reconnection is expected to affect observables based on charged particles in hadronic decays of W+W-. Measurements of inclusive charged particle multiplicities, and of their angular distribution with respect to the four jet axes of the events, are used to test models of colour reconnection. The data are found to exclude extreme scenarios of the Sjostrand-Khoze Type I (SK-I) model and are compatible with other models, both with and without colour reconnection effects. In the context of the SK-I model, the best agreement with data is obtained for a reconnection probability of 37%. Assuming no colour reconnection, the charged particle multiplicity in hadronically decaying W bosons is measured to be (nqqch) = 19.38+-0.05(stat.)+-0.08 (syst.).Comment: 30 pages, 9 figures, Submitted to Euro. Phys. J.

Determination of alpha_s using Jet Rates at LEP with the OPAL detector

Hadronic events produced in e+e- collisions by the LEP collider and recorded by the OPAL detector were used to form distributions based on the number of reconstructed jets. The data were collected between 1995 and 2000 and correspond to energies of 91 GeV, 130-136 GeV and 161-209 GeV. The jet rates were determined using four different jet-finding algorithms (Cone, JADE, Durham and Cambridge). The differential two-jet rate and the average jet rate with the Durham and Cambridge algorithms were used to measure alpha(s) in the LEP energy range by fitting an expression in which order alpah_2s calculations were matched to a NLLA prediction and fitted to the data. Combining the measurements at different centre-of-mass energies, the value of alpha_s (Mz) was determined to be alpha(s)(Mz)=0.1177+-0.0006(stat.)+-0.0012$(expt.)+-0.0010(had.)+-0.0032(theo.) \.Comment: 40 pages, 17 figures, Submitted to Euro. Phys. J.